Ing. PAVEL BARTOŠ, DrSc. – eigthy
نویسندگان
چکیده
منابع مشابه
TypeCraft from Pavel Mihaylov and Dorothee Beermann
1. OVERVIEW. The following review of TypeCraft is based on experience with the tool as of August, 2009. TypeCraft is an on-line database used to create, share, search, and present linguistically annotated texts (i.e., interlinear glossed texts). Users are able to create their own texts either by uploading files or by typing in texts by hand. TypeCraft aids the user in annotation by providing a ...
متن کاملPavel Materna CONCEPTS AS HYPERINTENSIONAL OBJECTS
The author defends the view that the notion of concept, if used in the logical (not cognitivist) tradition, should be explicated procedurally (i.e., not set-theoretically). He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empir...
متن کاملEvolut Ionary Schedul Ing and Rout Ing
The aim of this paper is to clearly demonstrate the importance of finding a good balance between genetic search and local search in the implementation of hybrid evolutionary multi-criterion optimization (EMO) algorithms. We first modify the local search part of an existing multi-objective genetic local search (MOGLS) algorithm. In the modified MOGLS algorithm, the computation time spent by loca...
متن کاملStability of Nonlinear Filters in Nonmixing Case by Pavel Chigansky
The nonlinear filtering equation is said to be stable if it “forgets” the initial condition. It is known that the filter might be unstable even if the signal is an ergodic Markov chain. In general, the filtering stability requires stronger signal ergodicity provided by the, so called, mixing condition. The latter is formulated in terms of the transition probability density of the signal. The mo...
متن کاملPavel Naumov On Modal Logics of Partial Recursive Functions
The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive function type constructor under the above interpretation. The cases of deterministic and non-deterministic functions are considered and for both...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Plant Protection Science
سال: 2010
ISSN: 1212-2580,1805-9341
DOI: 10.17221/15/2010-pps